O presente artigo descreve a capacitação a distância de funcionários do Sistema “S” sobre recursos didáticos (softwares, cadernos pedagógicos e de fundamentação metodológica) de quatro cursos distintos, realizada com 294 profissionais distribuídos em 25 estados brasileiros de uma das instituições que compõem o Sistema “S”. Os resultados mostram que a capacitação obteve sucesso e foram mensurados em termos quantitativos pelo índice de aproveitamento nos cursos e, qualitativamente, expressos nas avaliações dos participantes, endossados pelo índice de evasão que ficou dentro do (...) percentual que a literatura referencia. (shrink)

O presente artigo descreve a capacitação a distância de funcionários do Sistema “S” sobre recursos didáticos de quatro cursos distintos, realizada com 294 profissionais distribuídos em 25 estados brasileiros de uma das instituições que compõem o Sistema “S”. Os resultados mostram que a capacitação obteve sucesso e foram mensurados em termos quantitativos pelo índice de aproveitamento nos cursos e, qualitativamente, expressos nas avaliações dos participantes, endossados pelo índice de evasão que ficou dentro do percentual que a literatura referencia.

O estudo descreve o julgamento da translucência relativa de substantivos, verbos e modificadores em quatro Sistemas de Comunicação Alternativa e Suplementar (Bliss, PIC, PCS e ImagoAnaVox) por meio do emprego de um software (Sonda) que apresentava os símbolos e registrava a pontuação atribuída, o te..

Whereas in semiotics we have tried to account for the activity of the figurative dimension of meaning as a coherent text deformation, in other knowledge fields, the study of figures of speech and of images, have led to an original design of “figural” as a full dimension of cultures. Whether it was a matter of the relationship between saying and seeing or of the nature and power of images, the “figural” has been designed as a device able to move the (...) boundaries between: speech and desire, rhetoric and esthesia, reality and reference, between the subjectal constitution and the phenomenal donation, between the singular expression as semiotic praxis and stabilization of values ​​over time. (shrink)

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 22nd Workshop on Logic, Language, Information and Computation, WoLLIC 2015, held in the campus of Indiana University, Bloomington, IN, USA in July 2015. The 14 contributed papers, presented together with 8 invited lectures and 4 tutorials, were carefully reviewed and selected from 44 submissions. The focus of the workshop was on interdisciplinary research involving formal logic, computing and programming theory, and (...) natural language and reasoning. (shrink)

Esse trabalho é fruto de uma dissertação de mestrado e tem por objetivo apresentar alguns resultados acerca de como estudantes de um 7º ano do Ensino Fundamental, de um colégio particular da cidade de Londrina-PR, negociaram ativamente significados identitários científicos em aulas de Ciências. Acompanhamos, numa perspectiva etnometodológica, atividades realizadas nas aulas de ciências durante oito meses, entre 2010 e 2011. Neste texto, trataremos especificamente das formas como os estudantes buscam “colocar em perigo” a estabilidade da aula e a própria (...) estabilidade da identidade científica ao produzirem episódios de negociações, de dúvidas e de deslocamentos em relação à normalidade das posições de sujeito. Ao imergir nesse campo de ações, percebemos que a tática dos estudantes fazia-os convocados a assumirem determinadas posições que punham em suspenso o mito da origem da Ciência fundante e se constituírem como sujeitos em um processo em andamento, cambiante e em constante negociação. (shrink)

RESUMO Os homens, por natureza, desejam conhecer. Sinal disso é o prazer que nos proporcionam os nossos sentidos, pois ainda que não levemos em conta suas utilidades são estimados por si mesmos, destacando-se acima de todos os outros o sentido da visão. Segundo Platão, esta preocupação filosófica sempre foi a razão de ser da filosofia porque o filosofo, amante do conhecimento, busca sempre a verdade. Ele ama o saber. A busca do saber interior exige do filósofo não qualquer conhecimento, mas (...) somente aquele que ele considera como verdadeiro. Invocando as ideias acima externadas, este artigo traduz o expresso objetivo de iluminar os caminhos do leitor na busca desse conhecimento. (shrink)

The aim of this article is to explain why knot diagrams are an effective notation in topology. Their cognitive features and epistemic roles will be assessed. First, it will be argued that different interpretations of a figure give rise to different diagrams and as a consequence various levels of representation for knots will be identified. Second, it will be shown that knot diagrams are dynamic by pointing at the moves which are commonly applied to them. For this reason, experts must (...) develop a specific form of enhanced manipulative imagination, in order to draw inferences from knot diagrams by performing epistemic actions. Moreover, it will be argued that knot diagrams not only can promote discovery, but also provide evidence. This case study is an experimentation ground to evaluate the role of space and action in making inferences by reasoning diagrammatically. (shrink)

O presente artigo apresenta a distinta teoria do conhecimento proposta por Walter Benjamin em seu projeto das Passagens. Tal proposta já encontra suas origens em seus textos de juventude, principalmente em seu Sobre o programa de uma filosofia vindoura. Levando isso em conta, articulamos os dois momentos da obra de Benjamin para demonstrar que esta nova teoria materialista, dialética e imagética do conhecimento pressupõe um conceito mais alto de experiência, assim como uma crítica contundente ao sujeito do conhecimento que se (...) encontra em vias de desagregação. Para nos aprofundarmos na proposição benjaminiana, adentramos a importante topografia conceitual presente nas Passagens, passando pelos temas da linguagem, do sonho, do despertar e das imagens dialéticas. (shrink)

The objective of this article is twofold. First, a methodological issue is addressed. It is pointed out that even if philosophers of mathematics have been recently more and more concerned with the practice of mathematics, there is still a need for a sharp definition of what the targets of a philosophy of mathematical practice should be. Three possible objects of inquiry are put forward: (1) the collective dimension of the practice of mathematics; (2) the cognitives capacities requested to the practitioners; (...) and (3) the specific forms of representation and notation shared and selected by the practitioners. Moreover, it is claimed that a broadening of the notion of ‘permissible action’ as introduced by Larvor (2012) with respect to mathematical arguments, allows for a consideration of all these three elements simultaneously. Second, a case from topology – the proof of Alexander’s theorem – is presented to illustrate a concrete analysis of a mathematical practice and to exemplify the proposed method. It is discussed that the attention to the three elements of the practice identified above brings to the emergence of philosophically relevant features in the practice of topology: the need for a revision in the definition of criteria of validity, the interest in tracking the operations that are performed on the notation, and the constant and fruitful back-and-forth from one representation to another in dealing with mathematical content. Finally, some suggestions for further research are given in the conclusions. (shrink)

The aim of this article is to investigate specific aspects connected with visualization in the practice of a mathematical subfield: low-dimensional topology. Through a case study, it will be established that visualization can play an epistemic role. The background assumption is that the consideration of the actual practice of mathematics is relevant to address epistemological issues. It will be shown that in low-dimensional topology, justifications can be based on sequences of pictures. Three theses will be defended. First, the representations used (...) in the practice are an integral part of the mathematical reasoning. As a matter of fact, they convey in a material form the relevant transitions and thus allow experts to draw inferential connections. Second, in low-dimensional topology experts exploit a particular type of manipulative imagination which is connected to intuition of two- and three-dimensional space and motor agency. This imagination allows recognizing the transformations which connect different pictures in an argument. Third, the epistemic—and inferential—actions performed are permissible only within a specific practice: this form of reasoning is subject-matter dependent. Local criteria of validity are established to assure the soundness of representationally heterogeneous arguments in low-dimensional topology. (shrink)

As coleções paleontológicas representam uma herança natural e cultural, que deve ser salvaguardada em acervos institucionais. Dentre elas, destaca-se a Coleção de Paleovertebrados do Departamento de Geologia e Paleontologia do Museu Nacional (DGP-MN), que sofreu uma considerável perda, em decorrência do incêndio sofrido por este museu em 2018. Uma forma de recuperar as informações históricas e científicas desta coleção está em seu registro iconográfico. Nesse contexto, o presente trabalho inventaria e ilustra o acervo, que ficou conhecido no Departamento de Geologia (...) e Paleontologia do Museu Nacional como “Coleção Cope”. Trata-se de uma centena de vertebrados fósseis que foram enviados, sob a forma de empréstimo, ao paleontólogo norte-americano Edward Drinker Cope (1840-1897), no final do século XIX, para identificação e descrição. Grande parte desta coleção foi obtida durante a construção da Estrada de Ferro da Bahia ao São Francisco, inaugurada em 1860. A implementação e consequente ampliação da rede ferroviária no Brasil, no final do século XIX, trouxe não só crescimento econômico, como possibilitou a formação de muitas coleções paleontológicas, uma vez que os cortes abertos nos terrenos para a construção das estradas de ferro revelaram o registro fossilífero, como é o caso da “Coleção Cope”. Se esta não mais existe fisicamente, ao menos a listagem e o registro iconográfico aqui apresentados poderão revalidá-la para a paleontologia brasileira. (shrink)

A common misconception among logicians is to think that intuitionism is necessarily tied-up with single conclusion calculi. Single conclusion calculi can be used to model intuitionism and they are convenient, but by no means are they necessary. This has been shown by such influential textbook authors as Kleene, Takeuti and Dummett, to cite only three. If single conclusions are not necessary, how do we guarantee that only intuitionistic derivations are allowed? Traditionally one insists on restrictions on particular rules: implication right, (...) negation right and universal quantification right are required to be single conclusion rules. In this note we show that instead of a cardinality restriction such as one-conclusion-only, we can use a notion of dependency between formulae to enforce the constructive character of derivations. The system we obtain, called FIL for full intuitionistic logic, satisfies basic properties such as soundness, completeness and cut elimination. We present two motivating applications of FIL and discuss some future work. (shrink)

Frente uma situação sócio-cultural, eclesial e societária onde vive-se a falta de liberdade criativa e de uma ação ousada, alternativa e esperançosa, Paulo parece apontar caminho, à luz do Evangelho da liberdade, para uma experiência nova e prometedora. O que importa é assumir com responsabilidade a Vida e superar toda "escravidão", vale dizer, o que vale é viver em liberdade na experiência do amor diante do império da impotência e da morte. A experiência da fé tem que levar ao agir (...) ético que revele uma vida livre e construtora de uma nova realidade de vida, relacionamento e compromisso no atual contexto. (shrink)

This work is bibliographic research and has as general objective to identify in the works of Richard Rorty theoretical elements that can guide investigations about the relationship between philosophy, literature and education. And as specific objectives of the way, explicit of Narrative in the definition of Rorty's creation and investigator of the main narrative and thematic characters concerning the main characters of the work. The ocean at the end of Neil Gaiman. However, from Rorty's perspective, it is possible to consider (...) that education has an important role in relation to society. Since, as worldviews essentially proposed by literature, it instigates creativity, autonomy and approximation to reality, promoting a direct relationship between the character and the reader. What to do in one of human solidarity, and mostly. Therefore, the unique neopragmatist narrative philosopher introduces as the main tool for a moral and political change since, this is highly intertwined with imagination, such creation goes against tradition, which considers reason as the source of transformation. In addition, Richard Rorty (199) understands factors such as real space, knowledge, language and morals, based on the notion of time and search, because, for the philosopher, nothing escapes time and chance. (shrink)

O presente texto traz uma breve abordagem sobre a morte e a questão da indestrutibilidade do Ser a partir de uma análise da obra O mundo como Vontade e Representação, do filósofo Arthur Schopenhauer (1788-1860) e outros textos de apoio. Schopenhauer aborda a morte como natural, intrinsicamente ligada a vida, e que a mesma não é um mal para o homem e nem representa perigo para a espécie humana, por isso, não deveríamos temê-la, mas encará-la com serenidade, visto que a (...) morte não é o fim absoluto, mas apenas o retorno do indivíduo para a natureza. O filósofo pontua que o Ser é indestrutível e que, após a morte, permanecerá presente por meio da vontade nos seres que continuam vivos. O que se perde com a morte é apenas a individualidade; a matéria, jamais a essência do Ser. Cada Ser que morre, nasce um novo em uma matéria diferente, porém com a mesma essência do que se fora, por isso o Ser em si, e por essência, não morre por ser indestrutível. Desta forma, o homem não pode viver sem pensar na morte, sendo necessário refletir sobre a finitude para viver o presente, sendo que é apenas no presente que a vontade se manifesta. Resumo: O presente texto traz uma breve abordagem sobre a morte e a questão da indestrutibilidade do Ser a partir de uma análise da obra O mundo como Vontade e Representação, do filósofo Arthur Schopenhauer (1788-1860) e outros textos de apoio. Schopenhauer aborda a morte como natural, intrinsicamente ligada a vida, e que a mesma não é um mal para o homem e nem representa perigo para a espécie humana, por isso, não deveríamos temê-la, mas encará-la com serenidade, visto que a morte não é o fim absoluto, mas apenas o retorno do indivíduo para a natureza. O filósofo pontua que o Ser é indestrutível e que, após a morte, permanecerá presente por meio da vontade nos seres que continuam vivos. O que se perde com a morte é apenas a individualidade; a matéria, jamais a essência do Ser. Cada Ser que morre, nasce um novo em uma matéria diferente, porém com a mesma essência do que se fora, por isso o Ser em si, e por essência, não morre por ser indestrutível. Desta forma, o homem não pode viver sem pensar na morte, sendo necessário refletir sobre a finitude para viver o presente, sendo que é apenas no presente que a vontade se manifesta. (shrink)

O feminismo interseccional tem sido apontado como uma importante teoria na compreensão de como as opressões de gênero, classe e raça dentre outras, se relacionam entre si e interferem na vida de cada mulher, que acaba assim por experimentar a opressão de gênero a partir de um ponto de vista único. Além disso, a atuação de coletivos feministas tem sido fundamental na vida de mulheres, como espaços de empoderamento e de luta em prol de uma sociedade menos opressiva. Assim, apresentamos (...) nesse trabalho o processo de adoção do feminismo interseccional como ferramenta teórico-metodológica por um coletivo feminista da Bahia, Brasil. Para tanto, realizamos um relato das atividades desenvolvidas pelo grupo entre os anos de 2013 e 2017. Foi possível identificar o forte vínculo afetivo estabelecido entre as companheiras e como o discurso interseccional tem sido importante nesse processo e nas ações do Coletivo como um todo. Constatou-se, assim, que a utilização deste referencial pode ser poderosa no sentido de contribuir para diálogos mais inclusivos e assim mais transformadores. Corroborando, ainda, com a ideia da extrema relevância da articulação entre o feminismo acadêmico e a ação política, além de destacar os desafios da consolidação de coletivos que nascem no âmbito acadêmico. (shrink)

Este artigo apresenta a concepção agostiniana da graça, a partir da controvérsia pelagiana; em seguida, após sucinta contextualização biográfica de Lutero e das questões luteranas presentes na Reforma, enfoca as aproximações e distinções entre o entendimento luterano e agostiniano da graça e livre-arbítrio, e da graça e justificação.

Este artigo apresenta sucintamente a noção de ordem em Santo Agostinho e como, a partir de tal concepção, o grande Doutor da Igreja afirma e enfatiza a onipotência, bondade e justiça da Providência Divina, mantenedora da ordem perfeita do universo. Prossegue discorrendo sobre o mal e o pecado, concebidos, conforme o entendimento agostiniano, não como advindos do Criador, mas decorrentes da incompletude da criatura e da defecção da vontade humana, respectivamente. Finaliza com a asserção agostiniana de que a vontade voltada (...) para o bem pode se transformar em liberdade, sendo este um dos dons preciosos ofertado por Deus aos homens, e implicando, também, na responsabilidade humana diante do bem e do mal. (shrink)

Aula inaugural que apresenta aspectos do livro O leitor Quixotesco a ser lançado em 2022.

This article briefly presents the convergent movement of faith and reason in the Augustinian thought, which is necessary, according to the great Doctor of the Church, to get to know, in a deep manner the intelligible realities. In addition, discoursing concisely about one of the triads that form the process of knowledge: memory, intelligence and will, three faculties of the same substance that point out the human soul is one and triune simultaneously. To achieve the knowledge of the Eternal, the (...) human being must seek to know himself, firstly and internally. Finally, the memoria Dei is presented, confirming the divine presence in the mens. (shrink)

This thesis describes two classes of Dialectica categories. Chapter one introduces dialectica categories based on Goedel's Dialectica interpretation and shows that they constitute a model of Girard's Intuitionistic Linear Logic. Chapter two shows that, with extra assumptions, we can provide a comonad that interprets Girard's !-course modality. Chapter three presents the second class of Dialectica categories, a simplification suggested by Girard, that models (classical) Linear Logic and chapter four shows how to provide modalities ! and ? for this second class (...) of construction. (shrink)

Este estudo tem como objetivo geral discorrer de forma sucinta e crítica sobre os principais desafios enfrentados pelas pessoas negras, em especial as mulheres, na sociedade brasileira. E como objetivos específicos, analisar, a partir da concepção do feminismo, as problemáticas que englobam o racismo, sexismo, democracia racial, estética do racismo e como estes também acabam servindo de base para o justificar o epistemicídio da intelectualidade negra feminina, no qual esses desafios são herdados de opressões do colonialismo imposto ao território brasileiro. (...) Com isso, dissertaremos também a respeito de diversas categorias dessas opressões, e como elas se relacionam ao cenário político cultural brasileiro e de que maneira essas opressões atingem, em específico, os corpos das mulheres negras, que sofrem um processo constante de epistemicídio e sexualização extrema. Por fim, este trabalho tem como apoio teórico o pensamento da filósofa Lélia Gonzalez, que percebe na criação de um espaço de beleza negra feminina, que suas vozes podem ser ouvidas e sua filosofia exaltada. Não obstante, o texto também contém como suporte teórico complementar análises de autoras como Bell Hooks, Djamila Ribeiro, Sueli Carneiro. (shrink)

Chronic obstructive pulmonary disease (COPD) is one of the most deadly and costly chronic diseases in the world characterized by many breathing problems. The management of COPD and the prevention of exacerbations are a priority goals to improve the quality of life in patients affected by this illness. In addition, it is also crucial to improve the patients’ adherence to care which, in turn, depends on their knowledge and understanding of some factors such as the prescribed medical treatment, changes in (...) dailylife, and the process of breathing. In turn, the adherence to care leads to greater autonomy for the patient who is thus able to better manage his illness. Here we presented the application of the Model IARA in patients affected by COPD in order to achieve their autonomy in illness management which, in turn, leads to a better quality of life. IARA is an intervention program which improve the awareness and knowledge of patients with respect to both the disease and symptoms through health education. Moreover, through IARA the patients are encouraged to become more actively involved in COPD care process, also regarding drug therapy adherence. Using St. George's Respiratory Questionnaire combined with qualitative analysis, we demonstrated that IARA could be considered a useful approach in COPD management. (shrink)

In this paper we give a brief treatment of a theory of proofs for a system of Full Intuitionistic Linear Logic. This system is distinct from Classical Linear Logic, but unlike the standard Intuitionistic Linear Logic of Girard and Lafont includes the multiplicative disjunction par. This connective does have an entirely natural interpretation in a variety of categorical models of Intuitionistic Linear Logic. The main proof-theoretic problem arises from the observation of Schellinx that cut elimination fails outright for an intuitive (...) formulation of Full Intuitionistic Linear Logic; the nub of the problem is the interaction between par and linear implication. We present here a term assignment system which gives an interpretation of proofs as some kind of non-deterministic function. In this way we find a system which does enjoy cut elimination. The system is a direct result of an analysis of the categorical semantics, though we make an effort to present the system as if it were purely a proof-theoretic construction. (shrink)

In this essay we consider the possibility of knowledge being transferred or transmitted via testimony. Initially, we present an introduction to the epistemology of testimony, by indicating their origin in a tradition that has John Locke, David Hume and Thomas Reid as their representatives. We present a version of the non-reductionist thesis. We show that the non-reductionist about knowledge must request from the speaker a testimonial epistemic performance that is truth conductive, as well as intellectual integrity from the listener.